/*
 * PlayerChangeListener.java
 *
 * Created on 8 de Agosto de 2007, 17:21
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package org.gpp.proj1.ui.gui.lobby;

/**
 *
 * @author Gustavo
 */
public interface PlayerChangeListener {
    public void playerQuit( int id );
            
    public void newPlayer( PlayerEntry player );
}
